Algebras and Update Strategies In Honor of Derick Wood’s 70th Birthday
نویسندگان
چکیده
The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generalize lenses from the category of sets to consider them in categories with finite products, in particular the category of ordered sets.
منابع مشابه
Orthogonal Concatenation: Language Equations and State Complexity In Honor of Derick Wood’s 70th Birthday
A language L is the orthogonal concatenation of languages L1 and L2 if every word of L can be written in a unique way as a concatenation of a word in L1 and a word in L2. The notion can be generalized for arbitrary language operations. We consider decidability properties of language orthogonality and the solvability of language equations involving the orthogonal concatenation operation. We esta...
متن کاملAlgebras and Update Strategies For Derick Wood on his 70’th birthday
The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generaliz...
متن کاملMaster Ward Identity for Nonlocal Symmetries in D=2 Principle Chiral Models
We derive, in path integral approach, the (anomalous) master Ward identity associated with an infinite set of nonlocal conservation laws in two-dimensional principal chiral models. To appear in the special issue of the Foundations of Physics in honor of Professor M. Namiki on the occasion of his 70th birthday.
متن کاملGauge Theories and Non-commutative Geometry
It is shown that a d-dimensional classical SU(N) Yang-Mills theory can be formulated in a d+ 2-dimensional space, with the extra two dimensions forming a surface with non-commutative geometry. Talk given at the Symposium in Honor of the 70th birthday of Julius Wess, 10-11 January 2005. Max-Planck Institut für Physik (Werner Heisenberg-Institut), München.
متن کاملOn Complex Algebras of Subalgebras
Let V be a variety of algebras. We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A ∈ V , the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the relationship between the generalized entropic property and the entropic law. Further, provided the generalized entropic property is satisfied in V...
متن کامل